home *** CD-ROM | disk | FTP | other *** search
Prolog Source | 1986-10-07 | 520 b | 30 lines |
- /* Program 54 */
- /*
- Goal is on page 117 of the manual.
- */
-
- domains
- d = integer
-
- predicates
- not_(D,D)
- and_(D,D,D)
- or_(D,D,D)
- xor(D,D,D)
-
- clauses
- not_(1,0).
- not_(0,1).
- and_(0,0,0).
- and_(0,1,0).
- and_(1,0,0).
- and_(1,1,1).
- or_(0,0,0).
- or_(0,1,1).
- or_(1,0,1).
- or_(1,1,1).
- xor(Input1,Input2,Output) if
- not_(Input1,N1) and not_(Input2,N2) and
- and_(Input1,N2,N3) and and_(Input2,N1,N4) and
- or_(N3,N4,Output).